Formal specification at model-level of model-driven engineering using modelling techniques
- Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David , Wallis, Mark
- Resource Type: journal article
- Date: 2021
Verification of interactive automated air traffic control system in a model driven approach
- Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David
- Resource Type: conference paper
- Date: 2016